Universidad Nacional Autónoma de México
                Centro de Ciencias Genómicas  
   Catálogo de la Biblioteca

Su búsqueda recuperó 5 resultados.

Ordenar
Resultados
Handbook of logic and language / ed. by Johan van Benthem, Alice ter Meulen

por Benthem, J. F. A. K. van, 1949- [editor] | Meulen, Alice G. B [editor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: Amsterdam, Netherlands : Cambridge, Massachusetts : Elsevier Science ; The MIT Press, 1997Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: Qa76.9N38 H35.

How to read and do proofs : An introduction to mathematical thought processes / Daniel Solow

por Solow, Daniel [autor].

Edición: 3rd ed.Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: SPA Editor: New York : J. Wiley, c2002Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA9 S65 2002.

Logic-based artificial intelligence / edited by Jack Minker

por Minker, Jack [editor].

Series The Kluwer international series in engineering and computer science ; SECS 597Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: ENG Editor: Boston : Kluwer Academic, c2000Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: QA76.9L63 L595.

Primer curso de lógica matemática / Patrick Suppes, Shirley Hill ; versión de Enrique Lines Escardo

por Suppes, Patrick, 1922- [autor] | Suppes, Patrick, 1922-. First course in mathematical logic | Hill, Shirley A [autor] | Lines Escardo, Alberto [traductor].

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Idioma: Español Lenguaje original: Inglés Editor: México : Reverté, [2002]Otro título: Introducción a la lógica matemática.Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 S857 2002.

Symbolic logic and mechanical theorem proving / Ching-liang chang, Richard char-tung Lee

por Chang, Chin-Liang [autor] | Lee, Richard Char-tung.

Tipo de material: Texto Texto; Formato: impreso ; Forma literaria: No es ficción Editor: New York : Academic, c1975Disponibilidad: Ítems disponibles para préstamo: Libros (1)Clasificación: BC135 C43.

Páginas
¿No encuentras lo que estás buscando?